Dict(
	[12, 12, 7, 3, 12, 1, 1, 7, 1, 1] => QQFieldElem[-16//3, 0, 0, 0])